1. Constructibility and mathematical existence /
پدیدآورنده : Charles S. Chihara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Constructive mathematics.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques constructives.,Mathématiques-- Philosophie.,Constructieve wiskunde.,Constructive mathematics.,Filosofia da matemática.,Filosofie.,Logic, Symbolic and mathematical.,Lógica matemática.,Matemática construtiva.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Mathematics-- Philosophy.,Ontologie (filosofie)
رده :
QA8
.
4
.
C45
1990eb
2. Forma y modalidad :
پدیدآورنده : Mario Gómez Torrente.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Modality (Logic),Logic, Symbolic and mathematical.,Modality (Logic)
رده :
BC135
.
G65
2000
3. Foundations of mathematical logic /
پدیدآورنده : Haskell B. Curry.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
.
C85
1977
4. Hybrid Logic and its Proof-Theory
پدیدآورنده : / by Torben Braeuner
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
5. Intensional and higher-order modal logic : with applications to Montague semantics
پدیدآورنده : Gallin, Daniel.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Modality )Logic(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6
.
G35
1975
6. Logic and its applications :
پدیدآورنده : Kamal Lodaya (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
رده :
QA9
.
A1
K363
2013
7. Mathematics, models, and modality. selected philosophical
پدیدآورنده : Burgess, John P.,8491-
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Mathematics- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
6
.
B87
2008
8. Multi-Dimensional Modal Logic
پدیدآورنده : by Maarten Marx, Yde Venema.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
9. Objects and modalities : a study in the semantics of modal logic
پدیدآورنده : Tulenheimo, Tero
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6T85
10. Temporal logic
پدیدآورنده : [by] Nicholas Rescher and Alasdair Urquhart
موضوع : Logic, Symbolic and mathematical,Time,Modality (Logic)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Theories of Intensionality
پدیدآورنده : Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Intention )Logic(,Logic, Symbolic and mathematical,Electronic books,Electronic books
رده :
EBOOK
,
BC
.
I5
199
12. Time and modality
پدیدآورنده : / A.N. Prior
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
رده :
BC135
.
P78
13. Time and modality :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,08.33 logics and argumentation.,Epistemic logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Modale logica.,Modality (Logic),Tense (Logic)
رده :
BC135
.
P78
14. Truth, syntax and modality
پدیدآورنده : / Edited by Hugues Leblanc
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
BC135
،.
C56
1970
15. Truth, syntax and modality
پدیدآورنده : edited by Hugues Leblanc.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.,Semantics, Congresses.
16. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
پدیدآورنده : Conference on Alternative Semantics, 0791, Temple University
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Semantics-- Congresses
رده :
BC
135
.
C56
1970
17. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
پدیدآورنده : edited by Hugues Leblanc
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
رده :
BC
135
.
C56
1970
18. Truth, syntax and modality: proceedings of the Temple University Conference on Alternative semantics
پدیدآورنده : edited by Hugues Leblance
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
رده :
BC
135
.
C56
1970